Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

Nineteen eleven was a tumultuous year for Bertrand Russell, both personally and academically. The intense scholarly activity of 1911 that resulted in an impressive set of diverse academic publications and manuscripts was accompanied by a number of personal entanglements that were equally intense for Russell. Two of these relationships would prove to be especially strained. Late Wednesday afternoon, 18 October 1911, Russell met Ludwig Wittgenstein for the first time. As we know from the numerous accounts available on their relationship, the (...) exchanges between Russell and Wittgenstein were emotionally charged and not always cordial. However, in 1911 a second relationship flourished that would prove equally significant for Russell. The aristocratic English philosopher fell in love with Lady Ottoline Morrell. This relationship would eventually generate a correspondence in excess of 3,400 letters, telegrams and postcards. My paper is an assessment of the impact of Morrell on Russell's thought at the time he completed his classic Problems of Philosophy. In particular, I shall attempt to accomplish two tasks in this paper: -/- (a) In the first place, I shall show that Russell's 1911 view of philosophy appears to be contradictory, especially in regard to his conception of the Self. -/- (b) In the second place, I shall consider the nature and extent of Morrell's influence on Russell's 1911 view of philosophy and suggest that Lady Ottoline has more than a benign influence on Russell's 1911 understanding of the Self. -/- . (shrink)

Yirminci yüzyıl bilimde büyük değişim ve dönüşümlerin gerçekleştiği bir dönemdir. Bu yüzyıl içerisinde moleküler biyoloji, kuantum fiziği, genetik mühendisliği ve biyoteknoloji gibi çeşitli bilimlerin temellerinin atıldığı, bilimsel keşifler ve yenilikler neticesinde kuramların ve teknolojilerin hızla geliştiği ve bu gelişmelerin insanlık tarihini köklü bir şekilde etkilediği bir dönem olmuştur. Yirminci yüzyılda bilimsel ilerleme önceki dönemlerden çok daha hızlı bir oranda gerçekleşmiş ve toplumsal yaşam üzerindeki etkisinin daha derin olduğu gözlemlenmiştir. Bu nedenle yirminci yüzyıl genellikle icatların ve teknolojik gelişmelerin yüzyılı olarak adlandırılmaktadır (...) çünkü bilimsel keşiflerin sayısı artmakla birlikte çok sayıda bilim insanı mevcut teknolojiyi daha etkin bir şekilde kullanarak çalıştıkları alanlarda kapsamlı sonuçlara ulaşmışlardır. Dolayısıyla bilim ve teknoloji bu süre zarfında geçmişte olduğundan çok daha yakın hale gelmiştir. Bununla birlikte, bilimin ilerlemesinin hızlı bir şekilde devam etmesi ve mevcut araştırmaların önemli bir kısmının tarihsel bir bakış açısıyla incelenemeyecek kadar yeni ve çok sayıda olması nedeniyle bu yüzyıldaki bütün bilimsel gelişmelerden ve disiplinlerden bahsetmek mümkün değildir. Bu sebeple yazının kapsamını daraltmak açısından yirminci yüzyılda bilimi ve teknolojiyi en çok etkileyen alan olan fizik bilimindeki önemli konulara değinmek bu dönemin ruhunu anlamak ve bilimin dönüşümüne yönelik bir kavrayışa sahip olmak açısından daha uygun gözükmektedir. Bu bağlamda, çalışmada Dünya’mızı ve evreninin işleyişini anlama konusunda başvurduğumuz disiplinlerden biri olan fizik biliminde yirminci yüzyılda devrimsel bir düşünce olarak karşımıza çıkan Albert Einstein’ın özel ve genel görelilik kuramına yer verilmekle birlikte aynı zamanda günümüzde etkileri bilimsel ve teknolojik düzeyde devam eden kuantum mekaniğine yönelik genel bir perspektif sunulmaktadır. (shrink)

With insights from philosophy of language and semiotics, this article addresses judicial choices and semantic errors involved in United States v. Stevens, 130 S.Ct. 1577 (2010) (refusing to read “killing” and “wounding” to include cruelty and thus striking down a federal statute outlawing videos of animal cruelty), and Snyder v. Phelps, 131 S.Ct. 1207 (2011) (finding a First Amendment right to picket military funerals and verbally attack parents of dead soldiers as part of purportedly-public expression). -/- This article maintains that (...) a better understanding of semiotics (the theory of signs) exposes the flaws in both decisions and bolsters the arguments of the lone dissenter in both cases, Justice Alito. Such a better understanding of semiotics involves grasping (a) how expression involves signs, (b) how signs work in general, and (c) the differences between three basic kinds of signs (indexes, icons and symbols). This article maintains that the expression involved in Stevens and in Phelps was a type of indexical or quasi-indexical expression that, for reasons similar to those involved in child pornography cases, should have no First Amendment protection. -/- This article also notes shifting interpretive positions in the Court that cry out for reform. Although Chief Justice Roberts uses a textualist approach in his majority opinion striking down the animal cruelty statute in Stevens, his majority opinion in National Federation of Independent Business v. Sebelius, 132 S.Ct. 2566 (2012), has no trouble finding a “penalty” a “tax,” upholding the Affordable Care Act, and chastising the dissent for voting to strike down a statute simply because “. . . Congress used the wrong labels.” Id. at 2597. -/- This article attempts to expose such gamesmanship in “textualism” and attempts to lay out a better semiotic path for the Court. It calls for more forthright judicial decision-making in constitutional and statutory interpretation; calls for rejecting mechanical notions of law that conceal judicial choice involved in constitutional and statutory interpretation; and calls for rejecting claims that dictionaries can settle constitutional or statutory interpretation issues without reference to constitutional and statutory goals. -/- Keywords: interpretation, construction, meaning, plain meaning, originalism, original intent, canon, semiotics, signs, signals, symbol, icon, index, signifier, signified, ordinary meaning, freedom of speech, freedom of expression, animal cruelty, first amendment, statutes. (shrink)

Fizik disiplininde astronomiye yönelik sorular Johannes Kepler (1571-1630) ve Isaac Newton (1643-1727) gibi fizik alanında devrim yaratan düşüncelerin ortaya çıkmasına yol açmıştır. Kepler ‘Yeni Astronomi’ (Astronomia Nova), ‘Dünya'nın Uyumu’ (Harmonice Mundi) ve ‘Kopernik Astronomisinin Özeti’ (Epitome Astronomiae Copernicanae) adlı çalışmalarından hareketle ileri sürdüğü gezegensel hareket yasaları, Newton ise 1687 yılında yayımlanan ‘Doğa Felsefesinin Matematiksel İlkeleri’ (Philosophiae Naturalis Principia Mathematica) isimli çalışmasında yer verdiği hareket yasaları ile fizik disiplininde Aristoteles fiziğinin terk edilerek yeni bir fizik anlayışının ortaya çıkmasına ve böylece fizik (...) alanında bir devrimin meydana gelmesine sebep olmuşlardır. Fizik disiplininde gerçekleşen bu devrimin bir benzeri ise canlıların çalışılması ya da biyoloji disiplini söz konusu olduğunda 1800’lerden biraz daha geç bir zamana rastlamaktadır. Biyolojide gerçekleşen devrimsel düşünce doğal seçilim mekanizması ile canlılarda zaman içerisinde gerçekleşen değişim ve dönüşüm sürecini açıklayan Charles Darwin’in evrim kuramına yönelik görüşlerini ortaya koymasına tekabül etmektedir. Bu kapsamda çalışmada öncelikli olarak canlılarda meydana gelen değişim süreçlerine yönelik tespitleri ile Darwin’in görüşlerinin olgunlaşmasına katkıda bulunan Fransız Transformistler (Dönüşümcüler) olarak da bilinen Georges-Louis Leclerc (Comte de Buffon), Jean-Baptiste Lamarck ve George Cuvier’in görüşlerine yer verilmektedir. Ardından bu bilim insanlarının canlılardaki dönüşümsel ya da evrimsel değişime ilişkin argümanlarının Darwin’in evrim kuramını nasıl etkilediği ve bu etkilerin sonucunda biyoloji biliminde nasıl bir devrimin ortaya çıkmasına yardımcı oldukları aktarılmakta ve bu çerçevede Darwin’in on dokuzuncu yüzyılda biyoloji biliminde devrime yol açan tespitlerine ve evrim kuramının ayrıntılarına yer verilmektedir. (shrink)

This paper is a rejoinder to Alan Irwin's constructive response "Agreeing to Differ?" to our (2017) paper. We zoom in on the three main issues Irwin raises, namely (a) How to understand consensus? (b) Why are so many public participation activities consensus-driven? (c) Should we not value the art of closure, of finding ways to make agreements, particularly in view of the dire state of world politics today? We use this opportunity to highlight and further develop some of our (...) ideas. (shrink)

"Understanding Scientific Progress constitutes a potentially enormous and revolutionary advancement in philosophy of science. It deserves to be read and studied by everyone with any interest in or connection with physics or the theory of science. Maxwell cites the work of Hume, Kant, J.S. Mill, Ludwig Bolzmann, Pierre Duhem, Einstein, Henri Poincaré, C.S. Peirce, Whitehead, Russell, Carnap, A.J. Ayer, Karl Popper, Thomas Kuhn, Imre Lakatos, Paul Feyerabend, Nelson Goodman, Bas van Fraassen, and numerous others. He lauds Popper for advancing beyond (...) verificationism and Hume’s problem of induction, but faults both Kuhn and Popper for being unable to show that and how their work could lead nearer to the truth." —Dr. LLOYD EBY teaches philosophy at The George Washington University and The Catholic University of America, in Washington, DC "Maxwell's aim-oriented empiricism is in my opinion a very significant contribution to the philosophy of science. I hope that it will be widely discussed and debated." – ALAN SOKAL, Professor of Physics, New York University "Maxwell takes up the philosophical challenge of how natural science makes progress and provides a superb treatment of the problem in terms of the contrast between traditional conceptions and his own scientifically-informed theory—aim-oriented empiricism. This clear and rigorously-argued work deserves the attention of scientists and philosophers alike, especially those who believe that it is the accumulation of knowledge and technology that answers the question."—LEEMON McHENRY, California State University, Northridge "Maxwell has distilled the finest essence of the scientific enterprise. Science is about making the world a better place. Sometimes science loses its way. The future depends on scientists doing the right things for the right reasons. Maxwell's Aim-Oriented Empiricism is a map to put science back on the right track."—TIMOTHY McGETTIGAN, Professor of Sociology, Colorado State University - Pueblo "Maxwell has a great deal to offer with these important ideas, and deserves to be much more widely recognised than he is. Readers with a background in philosophy of science will appreciate the rigour and thoroughness of his argument, while more general readers will find his aim-oriented rationality a promising way forward in terms of a future sustainable and wise social order."—David Lorimer, Paradigm Explorer, 2017/2 "This is a book about the very core problems of the philosophy of science. The idea of replacing Standard Empiricism with Aim-Oriented Empiricism is understood by Maxwell as the key to the solution of these central problems. Maxwell handles his main tool masterfully, producing a fascinating and important reading to his colleagues in the field. However, Nicholas Maxwell is much more than just a philosopher of science. In the closing part of the book he lets the reader know about his deep concern and possible solutions of the biggest problems humanity is facing."—Professor PEETER MŰŰREPP, Tallinn University of Technology, Estonia “For many years, Maxwell has been arguing that fundamental philosophical problems about scientific progress, especially the problem of induction, cannot be solved granted standard empiricism (SE), a doctrine which, he thinks, most scientists and philosophers of science take for granted. A key tenet of SE is that no permanent thesis about the world can be accepted as a part of scientific knowledge independent of evidence. For a number of reasons, Maxwell argues, we need to adopt a rather different conception of science which he calls aim-oriented empiricism (AOE). This holds that we need to construe physics as accepting, as a part of theoretical scientific knowledge, a hierarchy of metaphysical theses about the comprehensibility and knowability of the universe, which become increasingly insubstantial as we go up the hierarchy. In his book “Understanding Scientific Progress: Aim-Oriented Empiricism”, Maxwell gives a concise and excellent illustration of this view and the arguments supporting it… Maxwell’s book is a potentially important contribution to our understanding of scientific progress and philosophy of science more generally. Maybe it is the time for scientists and philosophers to acknowledge that science has to make metaphysical assumptions concerning the knowability and comprehensibility of the universe. Fundamental philosophical problems about scientific progress, which cannot be solved granted SE, may be solved granted AOE.” Professor SHAN GAO, Shanxi University, China . (shrink)

Several scholars, including Martin Hengel, R. Alan Culpepper, and Richard Bauckham, have argued that Papias had knowledge of the Gospel of John on the grounds that Papias’s prologue lists six of Jesus’s disciples in the same order that they are named in the Gospel of John: Andrew, Peter, Philip, Thomas, James, and John. In “A Note on Papias’s Knowledge of the Fourth Gospel” (JBL 129 [2010]: 793–794), Jake H. O’Connell presents a statistical analysis of this argument, according to which (...) the probability of this correspondence occurring by chance is lower than 1%. O’Connell concludes that it is more than 99% probable that this correspondence is the result of Papias copying John, rather than chance. I show that O’Connell’s analysis contains multiple mistakes, both substantive and mathematical: it ignores relevant evidence, overstates the correspondence between John and Papias, wrongly assumes that if Papias did not know John he ordered the disciples randomly, and conflates the probability of A given B with the probability of B given A. In discussing these errors, I aim to inform both Johannine scholarship and the use of probabilistic methods in historical reasoning. (shrink)

Wittgenstein Tractatus'ta anlamlı bir tümcenin işlevinin bir şey durumunu öne sürmek olduğunu belirtir ve böyle yapmayan bütün tümceleri anlam alanının dışına bırakır. Buna karşılık anlam alanının dışında kalan tümceler işlevsiz değildirler; onlar bir şeyleri gösterebilirler. Bu söylemek/göstermek ayrımı Tractatus için temel önemde olsa da ayrımın göstermek ile ilgili kısmını Wittgenstein yeterince açıklamaz. Bu yazıda bu kavramın özellikle de etik ve estetik söz konusu olduğunda bir bakış açısını göstermek olarak anlaşılabileceğini öne süreceğim. Algı çalışmalarında yaygın bir kavram olan bakış açısı, dilbilim (...) alanına özellikle metafor konusundaki çalışmalarla taşınmıştır. Bir metaforun belirli bir bakış açısı etkisi yaptığı sıklıkla söylenir. Wittgenstein'ın "göstermek" derken anlatmak istediği bir bakış açısı kazandırmak olarak yorumlanabilir. -/- In Tractatus, Wittgenstein states that the function of a meaningful sentence is to assert a state of affairs and excludes all sentences that do not do so from the realm of meaning. Sentences outside the realm of meaning, however, are not useless; they can show something. Although this saying/showing distinction is of fundamental importance for Tractatus, Wittgenstein does not clearly explain the part of the distinction related to showing. In this paper I will argue that this notion can be understood, especially in the case of ethics and aesthetics, as showing an aspect. Aspect, which is a widely used notion in perception studies, has been carried to the field of linguistics, especially with studies on metaphor. It is often said that a metaphor makes an aspectual effect. What Wittgenstein meant by "showing" can be interpreted as making someone recognise an aspect. (shrink)

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

A collection of essays, mostly original, on the actual and possible positions on free will available to Buddhist philosophers, by Christopher Gowans, Rick Repetti, Jay Garfield, Owen Flanagan, Charles Goodman, Galen Strawson, Susan Blackmore, Martin T. Adam, Christian Coseru, Marie Friquegnon, Mark Siderits, Ben Abelson, B. Alan Wallace, Peter Harvey, Emily McRae, and Karin Meyers, and a Foreword by Daniel Cozort.

The following are the characteristics of a genus: 1. Those to which the same figure of predication applies are one in genus. (Met. , Δ, 1016b32-35) 2. Things that are one in genus are all one by analogy while things that are one by analogy are not all one in genus. (Met, Δ, 1016b35-1017a3) 3. A genus includes contraries. (Met., Δ, 1018a25-31) 4. All the intermediates are in the same genus as one another and as the things they stand between. (...) (Met., I, 1057a18-30; 1057b31-34) 5. Not every predicate is a genus of what it is predicated on; for this would equate a genus with one of its own species. (PsA., A, 22, 83b7-10) 6. The opposite of the genus should always be the genus of the opposite. (To., Δ, 4, ^125a27-29) 7. A genus divides the object from other things. (To., Z, 3, 140a^24) 8. None of unity and being is a genus. (Met., B, 998b22-27; Met., K, 1059b31-34; PsA., B, 7, 92b12-14) 9. There is no necessity or even no possibility that things that are the same specifically or generically should be numerically the same. (To., H, I, 152b30-) 10. To be called one due to having one genus is in a way similar to be one due to having the same matter. (Met., Δ, 1016a24-28) 11. The substance of a thing involves its genus, and thereby all the higher genera are predicated of the lower. (To., Z, 5, 143a^20- ) 12. Being falls immediately into genera. (Met., Γ, 1004a4-6) A. Characteristics of relations between genera The characteristics of relations between genera, the relations between genera and species excluded, are as follows: 1. Genus is not an element in the composition of things. (Met., I, 1057b20-22) 2. Things resulting from the same division of the same genus are simultaneous by nature. (Cat., 13, 15a3-4) 3. Processes of proof cannot pass from one genus to another. (PsA., A, 23, 84b14-18) 4. It is not necessary for subordinate genera to have different accounts. (To., I, 15, ^107a19-) E.g. when we say a raven is a bird, we also say it is a certain kind of animal. 5. It is necessary for genera that are not subordinate one to the other to have different accounts. (To., I, 15, ^107a27-30) E.g. whenever we call a thing an engine, we do not call it an animal, nor vice versa. 6. If one of the genera is predicated in what it is, all of them, both higher and lower than this one, if predicated at all of the species, will be predicated of it in what it is; so that what has been given as genus is also predicated in what it is. (To., Δ, 2, ^122a10) 7. The same object cannot occur in two genera of which neither contains the other. (To., Z, 139b32-140a2) 8. Those to which the same figure (σχῆμα) of predication applies, are the same in genus. (Met., Δ, 1016b32-35) 9. Attributes that inhere always in each several things can be divided to two groups: those that are wider in extent but not wider than its genus and those wider than its genus. (PsA., B, 13, 96a24-27) 10. The relation between A and B must be extendable in respect of all the genera of A. Thus, if A is double of B, it must also be in excess, the genus of double, to B. Aristotle accepts, however, that this may be objectable in some cases: while knowledge is called knowledge of an object of knowledge, it cannot be called a state and disposition (which is the genus of knowledge) of an object of knowledge. In fact, it is a state and disposition of the soul. (To., Δ, 4, 124b28-34) B. Characteristics of species The following are the characteristics of species: 1. Things are said to be other in species if they are of the same genus but are not subordinate the one to the other. (Met., Δ, 1018a38-b2; Met., I, 1057b35-37) 2. Contraries are other than one another in species. (Met., Δ, 1018b5-7; Met., I, 1058b26-) 3. It is not sufficient for a difference to be the basis of distinguishing species in a genus because it belongs to the genus in virtue of its nature as, e.g., the difference between men and women belongs to animal in virtue of its nature. It must also be a modification peculiar to the genus (οἰκεῖα πάθη τοῦ γένους) in the strongest sense. (Met., I, 1058a29-37) Thus, contraries which are in the formula (ἐν τῷ λόγῳ) make a difference in species, but those which are in the compound material thing do not make one as e.g. being male and female is a difference in matter. (Met., I, 1058a37-b23) 4. Some things are peculiar to the species as distinct from genus: there are attributes peculiar to each distinct species. (PrA., A, 27, 43b27-29) 5. There is no necessity or even no possibility that things that are the same specifically should be the same numerically. (To., H, I, 155b30-) C. Characteristics of relations between genera and species The following are the characteristics of relations between genera and their species: 1. Although species predicated of individuals seem to be principles rather than the genera, it is hard to say, Aristotle asserts, in what sense species are to be taken as principles. (Met., B, 999a14-21) 2. Things that are one in species are all one in genus, while things that are one in genus are not all one in species. (Met., Δ, 1016b35a1) 3. The relation of a species to its genus is like the relation of primary substance to all others: the species is a subject for the genus (ὑπόκειται γὰρ τὸ εἴδος τῷ γένει) and the genera are predicated of the species but the species are not predicated of them. (Cat., 5, 2b17-22) 4. Of the species themselves- those which are not genera- one is no more a substance than another: a certain horse is no more a substance than another horse. (Cat., 5, 2b22-26) 5. Genera are prior to species since they do not reciprocate as to implication of existence (κατὰ τὴν τοῦ εἶναι ἀκολούθησιν). For example, if there is a fish there is an animal, but if there is an animal there is not necessarily a fish. (Cat., 13, 15a4-7) 6. What belongs both to a species and to its genus, it belongs to the species more properly indeed than to the genus. (PrA., A, 27, 43b29-32) 7. A predicate drawn from the genus is never ascribed to the species in a derived form and as its genus. Thus, e.g. coloured cannot be a genus of ‘white’ when we say ‘white is coloured.’ (To., B, I, ^109b1-5) 8. Genera are predicated of their species synonymously because the species take on both the name and the account of their genera. (To., B, I, ^109b3-6) 9. All the attributes that belong to the species belong to the genus as well but there is no necessity that all the attributes that belong to the genus should belong also to the species. (To., B, 4, 111a20-32) 10. Those things of which the genus is predicated must also of necessity have one of its species predicated of them. (To., B, 4, 111a33-) 11. The higher genus should be predicated of the species in what it is. (To., Δ, 2, ^122a6) 12. The species, or any of the things which are under the species, is not predicated of the genus because the genus is the term with the widest range of all. (To., Z, 6, 144a27f.) 13. The same species cannot be in two genera neither of which contains the other. (To., Z, 6, 144b14f.) 14. None of the species of a genus is prior or posterior to other species but they are thought to be simultaneous by nature. (Cat., 13, 14b38-15a1) 15. Daniel W. Graham points that sometimes Aristotle speaks of species as classes (Cat., 5, 2a14-17) and sometimes as properties or a certain character (ποιόν τι) of substances, which is difficult to be distinguished from the category of quality. (Cat., 3b13-22) D. Characteristics of differentia 1. The last differentia will be the substance, the definition and the form of the thing. (Met., Z, 1038a18-28) 2. If we divide according to accidental qualities, there will be as many differentiae as there are processes of division. (Met., Z, 1038a25-28) 3. The differentia divides the object from any of the things contained in the same genus. (To., Z, 3, 140a24-) 4. A. C. Lloyd argues that Aristotle’s logic of classification contains a vicious circle because: ‘For a genus to be predicated unequivocally and essentially of a species the specific differentiae have to be ‘appropriate’; but in order to know whether a proposed differentia is appropriate we have to know whether the genus is predicable essentially of the species thus defined.’ The predication of differentia on primary substance seems to make difficulties in Aristotle’s system, as Terence Irwin points out. It seems to violate the distinction of strong predication and inherence, a distinction between predication of count-nouns and predication of characterizing adjectives. Irwin says that this violation is only apparent because although the differentia-term is an adjective, its gender agrees with the gender of the understood genus-term and not with that of the subject term. ‘Man is biped’ is indeed ‘Man is a biped animal.’ This shows, Irwin asserts, ‘why Aristotle can still mention that strong predication is nominal and inherence is adjectival.’ Differentiae are not, however, secondary substances, as Aristotle himself insists. A differentia does not say what the thing is, as secondary substances do, but only what it is like or what sort it is. (ποιον: To., 122b12-17; 128a20-29; 139a28-31; 142b25-29) Nonetheless, differentiae are not qualities because they are not inherent. Thus, they cannot be regarded in any of the ten categories. Irwin thinks that this anomaly is unnecessary because Aristotle could give good reasons for taking differentiae to be second substances. E. Characteristics of relations between differentia and genera or species 1. It is not possible for the genus to be predicated of the differentia taken apart from the species. (Met., B, 998b23-25; Met., K, 1059b31-33; To., VI, 6, 144a32-b1) 2. It is not possible for the species of the genus to be predicated of the proper differentiae of the genus. (Met., B, 998b24-26) 3. Where the differentia is present, the genus accompanies it, but where the genus is, the differentia is not always present. (Met., Δ, 1014b12-14) 4. The number of species are equal to the number of differentiae. (Met., Z, 1038a15-18) 5. The differentiae of genera which are different and not subordinate one to the other are themselves different in kind. (Cat., 3, 1b16-20; To., I, 15, ^107b19-) 6. There is nothing to prevent genera subordinate one to the other from having the same differentia. (Cat., 3, 1b20-22) 7. Since the higher genera are predicated of the genera below them, all differentiae of the predicated genus will be differentia of the subject also. (Cat., 3, 1b21-24) 8. The definition of the differentia is predicated of that of which the differentia is said. (Cat., 5, 3a25-28) 9. In giving what a thing is it is more fitting to state the genus than the differentia. For example, anyone who says that man is an animal shows what man is better than who describes him as terrestrial. (To., Δ, 6, ^128a24-27) 10. The differentia always signifies a quality of the genus, but the genus does not do this of the differentia. (To., Δ, 6, 128a27-29; To., Z, 6, 144a20-23) 11. A specific differentia, along with the genus, always makes a species. (To., Z, 6, 143b^1-) 12. A genus is always divided by the differentiae that are co-ordinate with it in a division and the differentiae that are co-ordinate in a division are all true of the genus. (To., Z, 6, 143b^1-) 13. Differentia cannot be predicated of the genus because genus is the term with the wider range. (To., Z, 6, 144a27-) In fact, genus is predicated, not of the differentia, but of the object of which the differentia is predicated. (To., Z, 6, 144a^31-b3) 14. Neither species nor the objects under it can be predicated of the differentia because the differentia is a term with a wider range than the species. (To., Z, 6, 144b4-) 15. The differentia is posterior to genus but prior to the species. (To., Z, 6, 144b^9-) 16. The same differentia cannot be used of two genera neither of which contains the other and if they do not both fall under the same genus. Otherwise, the same species will be in two genera neither of which contains the other, which is impossible. (To., Z, 6, 144b14-) 17. Genus and differentia are prior to and more familiar than the species: ‘For annul the genus and the differentia; and the species too is annulled, so that they are prior to the species. They are also more familiar; for if the species is known, the genus and differentia must of necessity be known as well (for anyone who knows what a man is knows also what animal and terrestrial are), whereas if the genus or the differentia is known it does not follow of necessity that the species is known as well; thus the species is less intelligible.’ (To., Z, 4, 141b15-) F. Characteristics of relations in series of classes 1. Mutually exclusive series. If no term in the series ACD… is predicable of any term in the series BEF…, and if G- a term in the former series- is the genus of A, clearly G will not be the genus of B; since, if it were, the series would not be mutually exclusive. (PsA., A, 15, 79b6-11) 2. Atomic disconnection of series. Of two mutually exclusive series ACD and BEF, if neither A nor B has a genus and A does not inhere in B, this disconnection must be atomic. (PsA., A, 15, 79b6-14) G. Characteristics of relations of individuals 1. No individual in a species is more substance than another individual in another species. (Cat., 5, 2b26-28) An individual man, for instance, is no more a substance than an individual ox. 2. Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 3. Not distinguishing between class membership and class inclusion? Some commentators like Vlastos and Ackrill (1963, 76) criticized Aristotle because he, they believe, did not distinguish between class membership (between species and particulars) and class inclusion (between genera and their species). Having accepted this point, Daniel W. Graham believes it is ‘question-begging in a curious way.’ Phil Corkum thinks that Aristotle employs mereological notions. (This criticism seems so strange because all the Aristotle’s point in distinguishing species 2 from genera is strictly the distinction of class membership and class inclusion as they call them so. (shrink)

Ölümcül Hastalık Umutsuzluk adlı eserinde umutsuzluğu, ben’in bir hastalığı ve kendine yönelen bir ilişkinin sonucu olarak ele alan Danimarkalı filozof Søren Aabye Kierkegaard, bu hastalığın kişide üç farklı şekilde görülebileceğini öne sürmüştür: “(a) bir ben’i olduğunun farkında olmayan umutsuz kişi, (b) kendisi olmak isteyen umutsuz kişi ve (c) kendisi olmak istemeyen umutsuz kişi.” Kierkegaard’a göre kendi ben’ininden kurtulmak isteyen kişi, “olmak istediği ben” hâline gelemediği için olduğu ben’ine katlanamamakta ve bu nedenle umutsuzluk yaşamaktadır. Bu çalışma kapsamında Kierkegaard’ın benlik ve (...) umutsuzluk ilişkisi üzerine yaptığı bu tespitin, sosyal psikoloji alanının önde gelen araştırmacılarından biri olan Edward Tory Higgins’ın Benlik Uyuşmazlıkları Kuramı üzerinden okunabileceği öngörülmektedir. Higgins, geliştirdiği kuramda çoklu bir benlik ayrımına gitmekte ve benliği gerçek benlik, ideal benlik ve olması gereken benlik olmak üzere üç alana ayırmaktadır. Bu ayrıma göre gerçek benlik, kişinin sahip olduğunu düşündüğü özelliklerin; ideal benlik, kişinin kendisi olmak için idealde sahip olmayı arzu ettiği özelliklerin; olması gereken benlik ise kişinin taşımak zorunda olduğunu düşündüğü özelliklerin bir bütününü temsil etmektedir. Söz konusu özellikler, kişinin kendi kişisel bakış açısına dayalı olabileceği gibi başkalarının bakış açısından da kaynaklanabilmektedir. Higgins’a göre ikili benlik durumları arasındaki uyuşmazlık (örneğin gerçek benlik-ideal benlik ya da gerçek benlik-olması gereken benlik) kişide, kendi beklentilerini ya da başkalarının beklentilerini karşılamada yetersiz kaldığı yönünde negatif duyuşlar yaratmaktadır. Bu duyuşlar arasında depresyonun bir parçası olan umutsuzluk da yer almaktadır. Şimdiki çalışma Kierkegaard’ın tasvir ettiği “olmak istediği ben hâline gelemediği için olduğu ben’ine katlanamayıp umutsuzluğa yakalanan” kişinin içinde bulunduğu durumu, Higgins’ın öne sürdüğü “gerçek benlik-ideal benlik uyuşmazlığının depresyonla (dolayısıyla umutsuzlukla) ilişkili olabileceği” argümanıyla ilişkili bir biçimde ele almayı ve bu yolla benlik ve umutsuzluk ilişkisini felsefe ve psikoloji disiplinlerinin kesişiminde incelemeyi amaçlamaktadır. (shrink)

Turkish Bu makalede bireylerin eylemlerine müdahale etmenin tek haklı gerekçesinin başkalarına zarar gelmesini önlemek olduğunu ifade eden ‘‘zarar ilkesine (Zİ)’’ getirilen üç eleştiriyi tartıştım. Öncelikle ilkeyi anlamlı kılabilecek bir zarar tarifinin bulunmadığı eleştirisini ele alarak bu eleştirinin, ilkenin ancak problemsiz bir zarar tanımı ile birlikte makul kabul edilebileceği varsayımına dayandığını tespit ettim. Zarar kavramına ilişkin var olan bilgi dağarcığımızı görmezden gelmesi ve zarara başvuran ilkeler haricindeki diğer birçok ilkeyi de kapsayan genel bir şüpheciliğin önünü açması nedeniyle ilgili varsayımı reddetmemiz gerektiğini (...) savundum. İkinci olarak, zarar vermenin yanlışlığının halihazırda yaygın olarak kabul ediliyor olmasından ötürü Zİ’nin bize yeni bir şey söylemediği, zararın türü/miktarı gibi güncel tartışmaların yoğunlaştığı noktalarda suskun kaldığı ve dolayısıyla artık işlevsiz olduğu eleştirisini değerlendirdim. Buna karşın hangi zarar tarifinin benimsendiğinden bağımsız olarak Zİ’nin, zararın varlığı kanıtlanmadıkça bireylerin eylemlerinde serbest bırakılmaları gerektiğini vurgulayan bir özgürlük karinesini temsil etme ve bazı eylemlerin zarar içermese dahi yasaklanabileceğini düşünen hukuki ahlakçılara yasak taleplerini gerekçelendirme yükümlülüklerini hatırlatma şeklinde iki önemli işleve halen sahip olduğunu iddia ettim. Son olarak Zİ'nin potansiyel kötüye kullanımlarına dair endişelere değindim. Bu endişelerin giderilmesi için yapılması gerekenin, zarar içeren eylemleri belirlemeye çalışmak değil, her eylemin bir miktar zarar içerme olasılığına sahip olduğunu kabul ederek hangi tür zararların hukuken düzenlenmesi gerektiği özelinde makul bir seçenek ortaya koymak olduğunu iddia ettim. Zİ’nin suiistimallerinin genellikle zarar kavramının geniş yorumlanmasının ürünü olduğunu düşünerek, cebir ve hile eylemlerinin neden olduğu birinci derece zararları esas alan, hukuki öngörülebilirliği artıracak bir hukuki çerçeve benimsemeyi tercih ettim. Kuşkusuz bu tercih yasaklanması gereken bazı zararlı eylemlere karşı hukuki koruma sağlayamama riskini içermektedir; ancak bu, özgürlüğü korumayı taahhüt eden genel bir ilke ortaya koymak için ödenmesi gereken bir bedeldir. Buradan hareketle, ele aldığım üç eleştiriden hiçbirinin Zİ’nin reddedilmesini gerektirmediği sonucuna vardım. English In this article, I discuss three criticisms of ‘‘the harm principle (HP)’’, which states that the only justification for interfering with individual’s actions is to prevent harm to others. First, I address the criticism that there is no definition of harm that can make the principle reasonable, and I find that this criticism is based on the assumption that the principle can only be considered reasonable with an unproblematic definition of harm. I argue that we should reject this assumption because it ignores our existing knowledge of the concept of harm and opens the way for a general skepticism that extends to many principles other than those addressing harm. Secondly, I consider the criticism that, since the wrongfulness of causing harm is already widely accepted, the principle tells us nothing new, is silent on the points where current debates intensify, such as the type/amount of harm, and is therefore no longer functional. On the other hand, I argue that, regardless of the definition of harm adopted, the HP still serves two important functions: Representing a presumption of liberty that emphasizes that individuals should be free to act unless the existence of harm is proven, and reminding legal moralists who believe that some acts can be prohibited even if they do not involve harm of their obligation to justify such prohibitions. Finally, I address concerns about potential abuses of the HP. I argue that what is needed to address these concerns is not to try to identify acts that involve harm, but to recognize that every act has the potential to involve some level of harm, and to make a reasonable choice as to which types of harm should be regulated by law. Considering that abuse of HP often arises from a broad interpretation of the concept of harm, I prefer to adopt a legal framework that would increase legal predictability, based on the first-degree harms caused by acts of force and fraud. Undoubtedly, this choice entails the risk of failing to provide legal protection against certain harmful acts that should be prohibited, but this is a price that must be paid for a general principle that is committed to protecting liberty. Thus, I conclude that none of the three criticisms I discussed require the rejection of HP. (shrink)

Ahlak ve ilişkili konular, içinde bulunduğumuz dönemde psikolojinin çeşitli alt disiplinlerinin ortak ilgisi olarak görünüyor. Ahlaka artan bilimsel ilginin olası pek çok sebebi olabilir ancak günümüz toplumsal yaşamının pratik açıdan ahlakı anlamak, tanımlamak, tesis etmek ihtiyacı da meseleye ayrı bir boyut kazandırıyor. “Daha ahlaklı bir toplum mümkün mü ya da ahlaklı bireyleri en etkin nasıl yetiştiririz?” sorularını yanıtlamanın önündeki en önemli engel, ahlakın herkesçe mutabık kalınan evrensel bir çerçeveden yoksun olmasıdır. İşte bilimsel ilgi de bu noktada işlevsellik kazanıyor. Ayrıca zamanımıza (...) has bir sorun olmasa da göz hizamızda olan “insanın insana ettiğinin” tahammülü zor sonuçları, ahlaka daha güçlü bir gereksinim yaratıyor. Hem artan bilimsel ilgi hem de reel dünyanın ihtiyacı ile ahlak alanı artık belirli disiplinlerin kalıbına sığmamakta, ahlak psikolojisi, kökleri pek çok disipline uzanan bir ağaç misali toprağın üzerinden başını uzatmaktadır. Elbette ahlak psikolojisi tabiri de ahlak psikolojisi alanında bir eser ortaya koyma çabası da bu kitap ile ortaya çıkmadı. Türkiye’de psikoloji alanının öncülerinden olan ve ilk ahlak psikolojisi çalışmalarına imza atan merhum Prof. Dr. Erol Güngör’ün görev yaptığı Selçuk Üniversitesinde yıllar sonra yeniden psikoloji çalışmaları yürütülmesi, üstelik onun öncelikli çalışma alanı olan ahlak konusunun yeniden burada çalışılması gurur verici bir husus. Umuyoruz ki Necip Fazıl’ın dediği gibi “bu öksüz yapının ustada kalmamasına” mütevazı bir ölçüde de olsa bu eserle bir katkı yapmış olalım. Zira bir disiplin olarak ahlak psikolojisinin bu kurumsallaşma deneyiminde öncelikli ihtiyaçlarından biri de sistematik olarak psikoloji ve ahlak bağlantısını ele alarak konu ve kavramlarını tasnif edecek bir kitaptır. (shrink)

Azərbaycan elm tarixini tədqiq edərkən dövrün tələbindən çıxış edilərək ərəb və fars dillərində yazılmış çoxlu əsərlərə rast gəlirik. Bu əsərlərdən biri də dahi alim Nəsirəddin Tusinin fars dilində məntiqə dair yazdığı Əsasül-iqtibas əsəridir. Əsər ilk dəfə 2022-ci ildə nəşr edilərək oxucu və tədqiqatçıların ixtiyarına verilmişdir. Əsasül-iqtibas əsəri XIII əsrin ortalarında yazılmışdır. Əsərin yazılmasından təqribən səkkiz əsrə yaxın vaxt keçmişdir. Bu müddət ərzində həmin əsərdə istifadə edilən bir sıra termin və sözlər artıq müasir fars dilində istifadə edilmir. Əsərin məntiqə aid olması (...) və həm də bir sıra sözlərin günümüzdə istifadə edilməməsi onun tərcüməsini çətinləşdirən amillər kimi qeyd etmək olar. Bundan əlavə burada istifadə edilən bəzi terminlərin gündəlik danışığımzda fərqli mənada istifadə edildiyindən həmin sözlərin və terminlərin izah edilməsi zərurəti yaranmışdır. Habelə orta əsr müəlliflərinin əsərlərinin tədqiqi zamanı eyni bir sözün müxtəlif müəlliflər tərəfindən fərqli mənalarda işlədildiyinin də şahidi oluruq ki, bu da həmin termin və anlayışların Azərbaycan dilinə tərcüməsi zamanı izahının verilməsinə ehtiyac yaradır. Hal-hazırda müraciət etdiyiniz bu kitab Nəsirəddin Tusinin ən mühüm və genişhəcmli əsərlərindən biri olan “Əsasül-iqtibas”-ın tərcüməsi zamanı əsərin orijinalında işlədilmiş ərəb-fars sözlərinin izahlı tərcüməsi yönündə tərtib edilmişdir. Bu lüğətlərin tərcüməsi və izahı ilə tanış olmaqla Nəsirəddin Tusinin ərəb-fars dillərində yazılmış digər əsərlərinin tərcüməsi zamanı da yararlanmaq olar. Müəyyən bir ixtisas və peşəni və ya həmin peşə və ixtisasa aid olan terminləri başa düşmək üçün həmin istiqamət üzrə tərtib edilən terminolji lüğətlərə ehtiyac duyulur. Bu istiqamətdə zaman-zaman müxtəlif ixtisaslar üzrə terminoloji lüğətlərin nəşr edildiyini müşahidə edirik. Azərbaycan dilində məntiqi terminlərin izahından ibarət xüsusi termonoloji lüğətlərin də tərtib edilməsi zərurəti vardır. Çünki məntiq terminlərinin izahınına adətən rus dilində yazılmış ədəbiyyatda, bir neçə terminin izahı verilmiş məntiq kitablarında və ya fəlsəfi terminlərdən ibarət ensiklopediya və lüğətlərdə rast gəlmək mümkündür. Bir tərəfdən, yaranmış boşluğu doldurmaq, digər tərəfdən isə məntiq ixtisası üzrə təhsil alan tələbə və mütəxəssislərə kömək etmək üçün bu lüğəti tərtib etmək qərarına gəldik. 222 sözün izah və tərcüməsindən ibarət olan bu kitabı həmin istiqamətdə olan boşluğu doldurmaq üçün kiçik və eyni zamanda mühüm bir addım hesab etmək olar. Burada sözlərin tərcüməsi ilə yanaşı bir sıra terminlərin izahı da verilmişdir. Əsasən Əsasül-iqtibas adlı məntiqi əsəri tərcümə edərkən qarşıya çıxan çətin və mürəkkəb sözlərin izahının verilməsinə üstünlük verilmişdir. Tərcümə zamanı müxtəlif illərdə nəşr edilən Əsasül-iqtibas əsərlərinə də müraciət edilmişdir. Bu əsərlərin bəzisində Əsasül-iqtibas əsərində istifadə edilən bəzi terminlərin izahı da verilmişdir. Bu izahlar bəzən tərcümə zamanı ifadənin daha səlis və daha dəqiq başa düşülməsinə imkan vermişdir. Bu lüğət kitabı tərtib edilərkən həmin əsərlərdə mövcud olan terminlər və onların izahından da istifadə edilmişdir. Bəzən məntiqi terminlərlə yanaşı kəlam, fəlsəfə və s. elmlərdə istifadə edilən terminləri də qeyd etmişik. Çünki bu terminlər bizə məntiqdə işlədilən bəzi ifadələrin daha asan başa düşülməsinə imkan verəcəkdir. “Əsasül-iqtibasa dair terminlər” lüğəti adlı bu kitabı bu sahədə atılmış ilk addımlardan biri olduğu üçün gələcəkdə daha sanballı və həcmcə daha geniş terminoloji lüğətlərin hazırlanması nəzərdə tutulur. (shrink)

Theoretiker der Künstlichen Intelligenz und deren Wegbegleiter in der Philosophie des Geistes haben auf unterschiedliche Weise auf Kritik am ursprünglichen Theorieziel der KI reagiert. Eine dieser Reaktionen ist die Zurücknahme dieses Theorieziels zugunsten der Verfolgung kleinerformatiger Projekte. Eine andere Reaktion ist die Propagierung konnektionistischer Systeme, die mit ihrer dezentralen Arbeitsweise die neuronalen Netze des menschlichen Gehirns besser simulieren sollen. Eine weitere ist die sogenannte robot reply. Die Roboterantwort besteht aus zwei Elementen. Sie enthält (a) das Zugeständnis, daß das Systemverhalten eines (...) wie auch immer programmierten konventionellen Digitalrechners mit von Neumann-Architektur nicht schon menschenähnliche Intelligenz aufweist, und (b) die Behauptung, daß es für bestimmte Arten von Maschinen doch zur Intelligenz reicht. In die Liga der intelligenten Wesen könnten Maschinen genau dann aufsteigen, wenn sie Roboter sind. Damit ist gemeint: wenn sie über Wahrnehmungskomponenten (Rezeptoren) und Handlungskomponenten (Effektoren) verfügen, mithilfe deren sie aktiv in kausale Interaktionen mit ihrer Umwelt eintreten können. Im Beitrag wird für die These argumentiert, daß der Roboterantwort eine richtige Intuition zugrunde liegt, von der die Roboterfreunde sich aber zu einer kurzschlüssigen Folgerung verleiten lassen. Es ist richtig, mentale Zustände und Handlungskompetenz eng aneinander zu binden. Einem Wesen, dem man Handlungsfähigkeit zuerkennt, kann man mentale Zustände nicht absprechen. Doch Handelnkönnen und Geisthaben sind nicht hinreichend unabhängig voneinander, als daß man das eine als Rechtfertigung für die Zuerkennung des anderen verwenden könnte. Man sollte Robotern beides absprechen. (shrink)

Commentary in reply to an article by Jeff McMahan and Julian Savulescu.

Throughout what is now the more than 50-year history of the computer many theories have been advanced regarding the contribution this machine would make to changes both in the structure of society and in ways of thinking. Like other theories regarding the future, these should also be taken with a pinch of salt. The history of the development of computer technology contains many predictions which have failed to come true and many applications that have not been foreseen. While we must (...) reserve judgment as to the question of the impact on the structure of society and human thought, there is no reason to wait for history when it comes to the question: what are the properties that could give the computer such far-reaching importance? The present book is intended as an answer to this question. The fact that this is a theoretical analysis is due to the nature of the subject. No other possibilities are available because such a description of the properties of the computer must be valid for any kind of application. An additional demand is that the description should be capable of providing an account of the properties which permit and limit these possible applications, just as it must make it possible to characterize a computer as distinct from a) other machines whether clocks, steam engines, thermostats, or mechanical and automatic calculating machines, b) other symbolic media whether printed, mechanical, or electronic and c) other symbolic languages whether ordinary languages, spoken or written or formal languages. This triple limitation, however, (with regard to other machines, symbolic media and symbolic languages) raises a theoretical question as it implies a meeting between concepts of mechanical-deterministic systems, which stem from mathematical physics, and concepts of symbolic systems which stem from the description of symbolic activities common to the humanities. The relationship between science and the humanities has traditionally been seen from a dualistic perspective, as a relationship between two clearly separate subject areas, each studied on its own set of premises and using its own methods. In the present case, however, this perspective cannot be maintained since there is both a common subject area and a new - and specific - kind of interaction between physical and symbolic processes. (shrink)

In the course of the past two decades, the city of Lviv has enjoyed close attention as well as a “close reading” in literary and scholarly texts on the city. This attention fits easily into two categories: (a) scholars producing academic studies on the city and (b) classical literary works on the city, composed in various languages, finally becoming available to a broader readership through translation into English. The book under discussion falls into the second category.1 It must be pointed (...) out right away that this is an unusual book—a truly successful combination of two essays—that should be rewarded with proper attention. Under one cover, the reader has the opportunity to enjoy two pieces that are linked together by the image of the city of Lviv. The first is an elegiac essay, Mój Lwów (My Lviv), authored by Polish writer Józef Wittlin. (This first English-language translation is by Antonina Lloyd-Jones.) The second essay is from post‑2010s Lviv by internationally-recognized British author Philippe Sands; it uses Wittlin’s work as a springboard for Sands’ own explorations of the city, or of what is left of the city from that period, mixed with a personal narrative. (shrink)

Shelly Kagan has recently defended the view that it is morally worse for a human being to suffer some harm than it is for a lower animal (such as a dog or a cow) to suffer a harm that is equally severe (ceteris paribus). In this paper, I argue that this view receives rather less support from our intuitions than one might at first suppose. According to Kagan, moreover, an individual’s moral status depends partly upon her ‘modal capacities.’ In this (...) paper, I argue that the most natural strategy for justifying Kagan’s theory faces some important challenges. More generally, I argue that philosophers who wish to defend the view that human beings have a higher moral status than that of the lower animals face a dilemma. Either their theory of moral status will imply (unacceptably) that some severely cognitively impaired human beings have a significantly lower moral status than that of typical human beings, or these philosophers will be forced to ground moral status in a set of properties so far removed from a subject’s actual capacities that it will become difficult to see why these kinds of properties should have such moral importance. (shrink)

The focus of this paper is a suite of Latin papers from 1685, some of which are still unpublished, in which Leibniz writes in the guise of a Catholic in order to defend Catholicism and counter Protestant objections, and this despite him being a lifelong Lutheran. After providing an overview of these writings (which I refer to as Leibniz’s “Catholic” writings) and the grounds for dating them to May–June 1685, I consider their purpose, arguing against the claim that they were (...) intended to support Church reunion and suggesting instead that they were apologetic in nature, intended as a reactivation or reimagining of Leibniz’s earlier “Catholic Demonstrations” project. I identify the patron Leibniz had in mind for these writings as Landgrave Ernst von Hessen-Rheinfels and support this by a detailed comparison of the “Catholic” writings with the Leibniz-Landgrave correspondence and the Landgrave’s still-unpublished essays. This reveals that the Protestant arguments Leibniz uses in the “Catholic” writings are the very ones that he himself used when writing to the Landgrave, and that the responses Leibniz gives to these arguments are the very ones that the Landgrave used. I also consider the context of the writings, suggesting they were crafted during a period of personal uncertainty for Leibniz and possibly aimed at securing a position under the Landgrave. (shrink)

This chapter examines the pioneering work of Gottfried Wilhelm Leibniz (1646-1716) on various number systems, in particular binary, which he independently invented in the mid-to-late 1670s, and hexadecimal, which he invented in 1679. The chapter begins with the oft-debated question of who may have influenced Leibniz’s invention of binary, though as none of the proposed candidates is plausible I suggest a different hypothesis, that Leibniz initially developed binary notation as a tool to assist his investigations in mathematical problems that were (...) exercising him at the time, namely those concerning the divisibility of composite numbers, primality, and perfect numbers. The chapter then explores Leibniz’s development of binary, his little-known work on binary fractions and expansions, his use of binary as a symbol for creation in his philosophical-theology, and his response to the suggestion that there was a correlation between binary numeration and the hexagrams of the ancient Chinese divinatory text, the Yijing. The chapter then focuses on Leibniz’s work on other number systems, in particular his invention and exploration of hexadecimal as well as his work on duodecimal. The chapter concludes by revealing a hitherto unknown practical application of binary that Leibniz devised in the last year of his life. (shrink)

In 1753, the Berlin Academy announced that the focus of the prize essay contest of 1755 would be optimism, with entrants required (among other things) ‘to put forward arguments that will be thought most fitting to confirm or destroy this system’. In line with these instructions, entrants submitted essays that were either pro- or anti-optimism. This was to the dismay of one of the judges of the contest, André-Pierre Le Guay de Prémontval (1716–1764), who had, by his own admission, surreptitiously (...) attempted to influence the entrants by sketching out a ‘middle point’ between the polarized pro- and anti-optimist positions in a series of books published between 1754 and 1755, namely Thoughts on Freedom, The Diogenes of d’Alembert, and On Chance under the Rule of Providence. The aim of this essay is to elucidate and historically contextualize Prémontval’s highly original ‘middle point’, as outlined implicitly in the aforementioned books and much more explicitly in a series of essays published after the essay contest had concluded. (shrink)

One of the disadvantages of redistributive taxation is that it reduces people’s financial incentives to increase national wealth and benefit others by engaging in productive activities. It is natural to suppose that the severity of this disadvantage will be proportional to the socially prevailing level of human selfishness. Thus several advocates of redistribution (G.A. Cohen, Ha-Joon Chang among others) have argued that this disadvantage of redistribution need not be as severe as critics often suggest, because human beings need not be (...) so selfish. My aim in this paper is to argue that, even in a society entirely composed of unselfish and impartially beneficent individuals, redistributive taxation would still discourage activities that contribute to national wealth, because differing individuals have different views about what counts as benefiting themselves and others. I also relate my discussion to G.A. Cohen’s influential ‘camping trip’ argument for socialism (from Why Not Socialism?). (shrink)

This is an extended critical notice of Gillian Russell's book, Barriers to Entailment.

New AI technologies have the potential to cause unintended harms in diverse domains including warfare, judicial sentencing, biomedicine and governance. One strategy for realising the benefits of AI whilst avoiding its potential dangers is to ensure that new AIs are properly ‘aligned’ with some form of ‘alignment target.’ One danger of this strategy is that – dependent on the alignment target chosen – our AIs might optimise for objectives that reflect the values only of a certain subset of society, and (...) that do not take into account alternative views about what constitutes desirable and safe behaviour for AI agents. In response to this problem, several AI ethicists have suggested alignment targets that are designed to be sensitive to widespread normative disagreement amongst the relevant stakeholders. Authors inspired by voting theory have suggested that AIs should be aligned with the verdicts of actual or simulated ‘moral parliaments’ whose members represent the normative views of the relevant stakeholders. Other authors inspired by decision theory and the philosophical literature on moral uncertainty have suggested that AIs should maximise socially expected choiceworthiness. In this paper, I argue that both of these proposals face several important problems. In particular, they fail to select attractive ‘compromise options’ in cases where such options are available. I go on to propose and defend an alternative, bargaining-theoretic alignment target, which avoids the problems associated with the voting- and decision-theoretic approaches. (shrink)

Written in 1714, the “Monadology” is widely regarded as a classic statement of much of Leibniz’s mature philosophical system. In just 90 numbered paragraphs, Leibniz outlines—and argues for—the core features of his system, starting with his famous doctrine of monads (simple substances) and ending with the uplifting claim that God is concerned not only for the world as a whole but for the welfare of the virtuous in particular. This chapter begins by considering the circumstances of composition of the “Monadology” (...) and its publication history before offering a detailed analysis of the claims and arguments found therein; I suggest the text is best read as dealing with three distinct realms, the metaphysical (§§1–-60), the physical (§§61–-82), and lastly the moral (§§83–-90). The chapter concludes with a consideration of the fate and influence of this seminal text. (shrink)

A fresh translation and in-depth commentary of Leibniz's seminal text, the Monadology. -/- Written in 1714, the Monadology is widely considered to be the classic statement of Leibniz's mature philosophy. In the space of 90 numbered paragraphs, totalling little more than 6000 words, Leibniz outlines - and argues for - the core features of his philosophical system. Although rightly regarded as a masterpiece, it is also a very condensed work that generations of students have struggled to understand. -/- Lloyd (...) Strickland presents a new translation of the Monadology, alongside key parts of the Theodicy, and an in-depth, section-by-section commentary that explains in detail not just what Leibniz is saying in the text but also why he says it. The sharp focus on the various arguments and other justifications Leibniz puts forward makes possible a deeper and more sympathetic understanding of his doctrines. (shrink)

Leibniz’s claim that this is the best of all possible worlds has been subject to numerous criticisms, both from his contemporaries and ours. In this paper I investigate a cluster of such criticisms based on the existence, abundance or character of worldly evil. As several Leibniz-inspired versions of optimism have been advanced in recent years, the aim of my investigation is to assess not just how Leibniz’s brand of optimism fares against these criticisms, but also whether optimism as a philosophy (...) has the resources to meet these challenges. I show that none of the criticisms considered has sufficient force to pose a threat to Leibniz’s version of optimism or to one modelled on it. (shrink)

Proofs of God in Early Modern Europe offers a fascinating window into early modern efforts to prove God’s existence. Assembled here are twenty-two key texts, many translated into English for the first time, which illustrate the variety of arguments that philosophers of the seventeenth and eighteenth centuries offered for God. These selections feature traditional proofs—such as various ontological, cosmological, and design arguments—but also introduce more exotic proofs, such as the argument from eternal truths, the argument from universal aseity, and the (...) argument ex consensu gentium. Drawn from the work of eighteen philosophers, this book includes both canonical figures (such as Descartes, Spinoza, Newton, Leibniz, Locke, and Berkeley) and noncanonical thinkers (such as Norris, Fontenelle, Voltaire, Wolff, Du Châtelet, and Maupertuis). -/- Lloyd Strickland provides fresh translations of all selections not originally written in English and updates the spelling and grammar of those that were. Each selection is prefaced by a lengthy headnote, giving a biographical account of its author, an analysis of the main argument(s), and important details about the historical context. Strickland’s introductory essay provides further context, focusing on the various reasons that led so many thinkers of early modernity to develop proofs of God’s existence. -/- Proofs of God is perfect for both students and scholars of early modern philosophy and philosophy of religion. (shrink)

We discuss conditions under which the following ‘truism’ does indeed express a truth: the weaker a logic is in terms of what it proves, the stronger it is as a tool for registering distinctions amongst the formulas in its language.

Philosophical discussions of gentrification have tended to focus on residential displacement. However, the prevalence of residential displacement is fiercely contested, with many urban geographers regarding it as quite uncommon. This lends some urgency to the underexplored question of how one should evaluate other forms of gentrification. In this paper, I argue that one of the most important harms suffered by victims of displacement gentrification is loss of access to the goods conferred by membership in a thriving local community. Leveraging the (...) social scientific literature, I go on to argue that non-displacement gentrification also often damages local communities. One can hence extend existing philosophical critiques of displacement gentrification to argue that non-displacement gentrification likewise poses a threat to relational equality, and often violates certain basic occupancy rights. Focusing on the value that inheres in thriving local communities also suggests some new possibilities for critiquing gentrification. For instance, existing occupancy rights critiques focus on incumbent land users’ interests in stability. However, one can also argue in a Lockean mode that incumbent land users’ occupancy rights are at least partially grounded in their community having laboured together to create objects of value. An extension of Michael Walzer’s theory of justice to incorporate community goods as a separate ‘sphere’ might also have widespread appeal. Taken together, these arguments constitute a sustained and theoretically ecumenical case for the pro tanto moral objectionability of gentrification. (shrink)

This paper defends the claim that mere temporal proximity always and without exception strengthens certain moral duties, including the duty to save – call this view Robust Temporalism. Although almost all other moral philosophers dismiss Robust Temporalism out of hand, I argue that it is prima facie intuitively plausible, and that it is analogous to a view about special obligations that many philosophers already accept. I also defend Robust Temporalism against several common objections, and I highlight its relevance to a (...) number of practical policy debates, including longtermism. My conclusion is that Robust Temporalism is a moral live option, that deserves to be taken much more seriously in the future. (shrink)

Daniel Kodaj has recently developed a pro-atheistic argument that he calls “the problem of religious evil.” This first premise of this argument is “belief in God causes evil.” Although this idea that belief in God causes evil is widely accepted, certainly in the secular West, it is sufficiently problematic as to be unsuitable as a basis for an argument for atheism, as Kodaj seeks to use it. In this paper I shall highlight the problems inherent in it in three ways: (...) by considering whether it is reasonable to say that “belief in God” causes evil; whether it is reasonable to say that belief in God “causes” evil; and whether it is reasonable to say that belief in God causes “evil.” In each case I will argue that it is problematic to make such claims, and accordingly I will conclude that the premise “belief in God causes evil” is unacceptable as it stands, and consequently is unable to ground Kodaj’s pro-atheistic argument. (shrink)

This paper is concerned with Leibniz’s Egypt Plan, written in 1671 and 1672, when Leibniz was in the service of the Elector of Mainz. One of the aims of this paper is to offer a more balanced and plausible reading of the religious benefits of war that Leibniz outlines in his Egypt plan.

In philosophical circles, Electress Sophie of Hanover (1630-1714) is known mainly as the friend, patron, and correspondent of Leibniz. While many scholars acknowledge Sophie's interest in philosophy, some also claim that Sophie dabbled in philosophy herself, but did not do so either seriously or competently. In this paper I show that such a view is incorrect, and that Sophie did make interesting philosophical contributions of her own, principally concerning the nature of mind and thought.

From the early eighteenth century onward, primacy for the invention of binary numeration and arithmetic was almost universally credited to the German polymath Gottfried Wilhelm Leibniz (1646–1716). Then, in 1922, Frank Vigor Morley (1899–1980) noted that an unpublished manuscript of the English mathematician, astronomer, and alchemist Thomas Harriot (1560–1621) contained the numbers 1 to 8 in binary. Morley’s only comment was that this foray into binary was “certainly prior to the usual dates given for binary numeration”. Almost thirty years later, (...) John William Shirley (1908–1988) published reproductions of two of Harriot’s undated manuscript pages, which, he claimed, showed that Harriot had invented binary numeration “nearly a century before Leibniz’s time”. But while Shirley correctly asserted that Harriot had invented binary numeration, he made no attempt to explain how or when Harriot had done so. Curiously, few since Shirley’s time have attempted to answer these questions, despite their obvious importance. After all, Harriot was, as far as we know, the first to invent binary. Accordingly, answering the how and when questions about Harriot’s invention of binary is the aim of this short paper. (shrink)

Leave logic at the door and prepare to test your creative thinking skills with these 100 brand new lateral thinking puzzles. Each puzzle describes a situation which at first sounds odd or unlikely, and you have to work your way to the answer using creativity, imagination, and intuition. To cater for all ability levels, the 100 puzzles are arranged into Easy, Moderate, and Difficult categories, and a series of hints is provided for each puzzle to help you along if you (...) get stuck. As lateral thinking puzzles are fun, engaging, and make good icebreakers, they are a perennial favourite at dinner parties, break times, and social evenings. (shrink)

The present discussion takes up an issue raised in Section 5 of Ross Brady and Penelope Rush’s paper ‘Four Basic Logical Issues’ concerning the (claimed) triviality – in the sense of automatic availability – of soundness and completeness results for a logic in a metalanguage employing at least as much logical vocabulary as the object logic, where the metalogical behaviour of the common logical vocabulary is as in the object logic. We shall see – in Propositions 4.5–4.7 – that this (...) triviality claim faces difficulties in the face of Halldén incompleteness, for essentially the same reasons that Halldén thought this phenomenon raised seman- tic difficulties for the modal logics of C. I. Lewis exhibiting it. To counter any inclination to dismiss the phenomenon as providing at best a marginal range of counterexamples to the triviality claim, a Postscript assembles some reminders of the extent of – and the varied considerations favouring – Halldén incompleteness. (shrink)

The emphasis on the limitations of objectivity, in specific guises and networks, has been a continuing theme of contemporary analytic philosophy for the past few decades. The popular sport of baiting feminist philosophers — into pointing to what's left out of objective knowledge, or into describing what methods, exactly, they would offer to replace the powerful objective methods grounding scientific knowledge — embodies a blatant double standard which has the effect of constantly putting feminist epistemologists on the defensive, on the (...) fringes, on the run.This strategy can only work if objectivity is transparent, simple, stable, and clear in its meaning. It most certainly is not. In fact, taking objectivity as a sort of beautiful primitive, self-evident in its value, and all-powerful in its revelatory power, requires careless philosophy, and the best workers in metaphysics, epistemology, and philosophy of science have made reworked definitions of objectivity absolutely central to their own projects. In fact, classic feminist concerns with exploring the impact of sex and gender on knowledge, understanding, and other relations between human beings and the rest of the world fall squarely within the sort of human and social settings thatare already considered central in most current analytic metaphysics, epistemology, and philosophy of science. I argue that the burden of proof is clearly on those who wish toreject the centrality and relevance of sex and gender to our most fundamental philosophical work on knowledge and reality. (shrink)

We sley Salmon, in his influential and detailed book, Four Decades of Scientific Explanation, argues that the pragmatic approach to scientific explanation, “construed as the claim that scientific explanation can be explicated entirely in pragmatic terms” (1989, 185) is inadequate. The specific inadequacy ascribed to a pragmatic account is that objective relevance relations cannot be incorporated into such an account. Salmon relies on the arguments given in Kitcher and Salmon (1987) to ground this objection. He also suggests that Peter Railton’s (...) concepts of the ideal explanatory text and explanatory information (Railton 1981) can provide what the pragmatic approach lacks. This suggestion is not a conclusion of course; we read it as the promotion of part of a research program aimed at forging a greater consensus on scientific explanation-an admirable goal. However, we do not see the pragmatic approach as inadequate. We will show that a synthetic account inspired by Salmon’s adaptation of Railton would be equivalent to van Fraassen’s pragmatic account in three respects: accepting or rejecting requests for explanation; the practice of giving scientific explanations; and the evaluation of the goodness of explanations. We include all three under the general rubric of explanatory “practice.” Admittedly these are not the only three features by which an account of explanation might be evaluated. Roughly, we mean to show that a synthetic account cannot do a better job of accounting for the scientific practices which are of importance to the constructive empiricist, and therefore no argument can be presented to the constructive empiricist to convince her that by her own standards the synthetic account is superior. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

The artform of standup comedy can be seen as having much in common with the discipline of philosophy, particularly with the way philosophy is carried out or “performed,” whether professionally or otherwise. There are, for instance, certain basic similarities between how standup comedians and philosophers value ideals of clarity and precision when it comes to the issue of determining what kind of language is best to employ if one seeks to either effectively deliver a funny joke, as in the case (...) of standup comedy, or if one seeks to effectively articulate and present an argument that can later be assessed as sound, as in the case of philosophy. The reason this is of note is because it is rooted in another similarity that serves not only to bring these two activities significantly closer but to isolate standup comedy from most artforms when it comes to how it conceives of matters pertaining to interpretation and purpose. More specifically, this is the fact that standup comedians and philosophers alike hope, and even expect on some level, that, in the best of cases, their respective jokes and reasoned arguments will compel some form of unanimous approval from those who properly understand and engage with their content. When this observation is combined with the additional observation that jokes can also serve as vehicles for imparting wisdom of a genuinely philosophical nature despite the fact that generating laughter rather than seeking truth per se represents standup comedy’s ostensive primary goal, this leads one to wonder how porous the boundaries that otherwise serve to distinguish these two activities might be. In particular, in light of the nature and scope of the many similarities that can be said to exist between them, which I lay out and discuss in the article, it seems that standup comedy could even be reasonably argued to be the artform closest to philosophy. (shrink)

When natural selection theory was presented, much active philosophical debate, in which Darwin himself participated, centered on its hypothetical nature, its explanatory power, and Darwin's methodology. Upon first examination, Darwin's support of his theory seems to consist of a set of claims pertaining to various aspects of explanatory success. I analyze the support of his method and theory given in the Origin of Species and private correspondence, and conclude that an interpretation focusing on the explanatory strengths of natural selection theory (...) accurately reflects neither Darwin's own self-consciously held views, nor the nature of his support. Darwin's methodological and philosophical arguments were at once consistently empiricist and more sophisticated than such interpretations credit to him. (shrink)